<html>
	<head>
		<title>knowledge</title>
<link href="../docs-assets/Breadcrumbs.css" rel="stylesheet" rev="stylesheet" type="text/css">
		<meta name="viewport" content="width=device-width initial-scale=1">
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
		<meta http-equiv="Content-Language" content="en-gb">

<link href="../docs-assets/Contents.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Progress.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Navigation.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Fonts.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Base.css" rel="stylesheet" rev="stylesheet" type="text/css">
		
	</head>
	<body class="commentary-font">
		<nav role="navigation">
		<h1><a href="../index.html"><img src="../docs-assets/Inform.png" height=72> </a></h1>
<ul><li><a href="../index.html">home</a></li>
</ul><h2>Compiler</h2><ul>
<li><a href="../structure.html">structure</a></li>
<li><a href="../inbuildn.html">inbuild</a></li>
<li><a href="../inform7n.html">inform7</a></li>
<li><a href="../intern.html">inter</a></li>
<li><a href="../services.html">services</a></li>
<li><a href="../secrets.html">secrets</a></li>
</ul><h2>Other Tools</h2><ul>
<li><a href="../inblorbn.html">inblorb</a></li>
<li><a href="../inform6.html">inform6</a></li>
<li><a href="../inpolicyn.html">inpolicy</a></li>
</ul><h2>Resources</h2><ul>
<li><a href="../extensions.html">extensions</a></li>
<li><a href="../kits.html">kits</a></li>
</ul><h2>Repository</h2><ul>
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=0> github</a></li>
</ul><h2>Related Projects</h2><ul>
<li><a href="https://github.com/ganelson/inweb"><img src="../docs-assets/github.png" height=0> inweb</a></li>
<li><a href="https://github.com/ganelson/intest"><img src="../docs-assets/github.png" height=0> intest</a></li>
</ul>
		</nav>
		<main role="main">
		<ul class="crumbs"><li><a href="../index.html">Home</a></li><li><a href="../inform7n.html">Inform7</a></li><li><b>knowledge</b></li></ul>
		<p class="purpose">Storing and reconciling the facts asserted by assertion sentences. This is version 1.</p>
		<hr>
		<div class="contentspage">
			<ul class="chapterlist">
				<li>
					<p class="chapterentry"><a name="P"></a>
						<span class="chaptertitle">Preliminaries</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="P-wtmd.html">
								<spon class="sectiontitle">What This Module Does</span></a> -
							<span class="sectionpurpose">An overview of the knowledge module's role and abilities.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="1"></a>
						<span class="chaptertitle">Chapter 1: Configuration and Control</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="1-km.html">
								<spon class="sectiontitle">Knowledge Module</span></a> -
							<span class="sectionpurpose">Setting up the use of this module.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="1-ap.html">
								<spon class="sectiontitle">Assert Propositions</span></a> -
							<span class="sectionpurpose">To declare that a given proposition is a true statement about the state of the world when play begins.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="2"></a>
						<span class="chaptertitle">Chapter 2: Instances and Variables</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="2-ins.html">
								<spon class="sectiontitle">Instances</span></a> -
							<span class="sectionpurpose">To manage constant values of enumerated kinds or kinds of object.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-iaa.html">
								<spon class="sectiontitle">Instances as Adjectives</span></a> -
							<span class="sectionpurpose">When instances are adjectives as well as nouns.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-pfi.html">
								<spon class="sectiontitle">Preform for Instances</span></a> -
							<span class="sectionpurpose">Preform grammar to parse names of instances.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-oi.html">
								<spon class="sectiontitle">Ordering Instances</span></a> -
							<span class="sectionpurpose">A simple system for making an ordered list of instances.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-nv.html">
								<spon class="sectiontitle">Nonlocal Variables</span></a> -
							<span class="sectionpurpose">To manage variables whose scope is wider than the current rule.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="3"></a>
						<span class="chaptertitle">Chapter 3: Properties</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="3-prp.html">
								<spon class="sectiontitle">Properties</span></a> -
							<span class="sectionpurpose">Subjects in the model world have properties associated with them: some either/or, others with values.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-ep.html">
								<spon class="sectiontitle">Either-Or Properties</span></a> -
							<span class="sectionpurpose">Properties which can either be present or not, but have no value attached.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-epa.html">
								<spon class="sectiontitle">Either-Or Property Adjectives</span></a> -
							<span class="sectionpurpose">Names of either-or properties when used as adjectives.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-vp.html">
								<spon class="sectiontitle">Valued Properties</span></a> -
							<span class="sectionpurpose">Properties which attach values to subjects, with such values always having a given kind.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-tpr.html">
								<spon class="sectiontitle">The Provision Relation</span></a> -
							<span class="sectionpurpose">To define the provision relation, which determines which properties can be held by which objects.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-spr.html">
								<spon class="sectiontitle">Same Property Relation</span></a> -
							<span class="sectionpurpose">Each value property has an associated relation to compare its value between two owners.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-spr2.html">
								<spon class="sectiontitle">Setting Property Relation</span></a> -
							<span class="sectionpurpose">Each value property has an associated relation to set its value.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-msr.html">
								<spon class="sectiontitle">Measurements</span></a> -
							<span class="sectionpurpose">To define adjectives such as large, wide or roomy, which make implicit comparisons of the size of some numerical property, and which lead to comparative and superlative forms.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-ma.html">
								<spon class="sectiontitle">Measurement Adjectives</span></a> -
							<span class="sectionpurpose">The family of adjectives arising from property value comparisons.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-cr.html">
								<spon class="sectiontitle">Comparative Relations</span></a> -
							<span class="sectionpurpose">When a measurement adjective like "tall" is defined, so is a comparative relation like "taller than".</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="4"></a>
						<span class="chaptertitle">Chapter 4: Subjects</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="4-is.html">
								<spon class="sectiontitle">Inference Subjects</span></a> -
							<span class="sectionpurpose">A unified way to refer to the things propositions talk about.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-vs.html">
								<spon class="sectiontitle">Variable Subjects</span></a> -
							<span class="sectionpurpose">The global variables family of inference subjects.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-is2.html">
								<spon class="sectiontitle">Instance Subjects</span></a> -
							<span class="sectionpurpose">The instances family of inference subjects.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-ks.html">
								<spon class="sectiontitle">Kind Subjects</span></a> -
							<span class="sectionpurpose">The kinds family of inference subjects.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-rs.html">
								<spon class="sectiontitle">Relation Subjects</span></a> -
							<span class="sectionpurpose">The relations family of inference subjects.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-pp.html">
								<spon class="sectiontitle">Property Permissions</span></a> -
							<span class="sectionpurpose">To enforce the domain of properties: for instance, that a door can be open or closed but that an animal cannot, or that a person can have a carrying capacity but that a door cannot.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-cos.html">
								<spon class="sectiontitle">Conditions of Subjects</span></a> -
							<span class="sectionpurpose">Properties which hold one of an enumerated set of named states of something.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="5"></a>
						<span class="chaptertitle">Chapter 5: Modelling</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="5-inf.html">
								<spon class="sectiontitle">Inferences</span></a> -
							<span class="sectionpurpose">An inference is a single datum about the world model, believed to be true or untrue and with some degree of certainty.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-pi.html">
								<spon class="sectiontitle">Property Inferences</span></a> -
							<span class="sectionpurpose">Inferences that a property of something is true, or has a particular value.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-ia.html">
								<spon class="sectiontitle">Indefinite Appearance</span></a> -
							<span class="sectionpurpose">When the source text comments on something with a sentence consisting only of a double-quoted literal text, we infer that as an indefinite appearance property.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-ri.html">
								<spon class="sectiontitle">Relation Inferences</span></a> -
							<span class="sectionpurpose">Inferences that a relation holds between two subjects or values.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-tmw.html">
								<spon class="sectiontitle">The Model World</span></a> -
							<span class="sectionpurpose">Once the assertions have all been read and reduced to inferences, we try to complete our model world.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-tnt.html">
								<spon class="sectiontitle">The Naming Thicket</span></a> -
							<span class="sectionpurpose">Inform has a thicket of properties to do with names: not just the name itself, but whether it is a plural, a proper name, and so on. Here we look after these properties, and give them their initial states.</span></p>
						</li>
					</ul>
				</li>
			</ul>
		</div>
		<hr>
		<p class="purpose">Powered by <a href="https://github.com/ganelson/inweb">Inweb</a>.</p>
		</main>
	</body>
</html>

